syms t x c1 c2,               
y = int(int(exp(-t * x), t) + c1, x) + c2
